Logic-based intervention